Automatic Parallelization of Higher-Order Languages in the Polytope
نویسنده
چکیده
Automatic parallelization and reduction of memory requirement for functional programs have been two active research topics. In this paper, we address both issues simultaneously thanks to the polytope model, a framework originally crafted for the parallelization of imperative programs.
منابع مشابه
Extending a Task Farming Framework with Dependences to P2P Communications
Grid computing is becoming more and more popular, but contrary to earlier expectations the development of applications for Grid environments is still not possible without expert knowledge in the field of parallelization. Therefore, recent work [14, 4] has combined automatic loop parallelization (in the polytope model) with component-based Grid programming: First, automatic parallelization techn...
متن کاملOptimizing Storage Size for Static Control Programs in Automatic Parallelizers
This article deals with automatic parallelization of static control programs. During the parallelization process the removal of arti-cial dependences is usually realized by translating the original program into a single assignment form. This total data expansion has a very high memory cost. We present a technique of partial data expansion which leaves untouched the performances of the paralleli...
متن کاملAutomatic Storage Management for Parallel Programs
This article deals with automatic parallelization of static control programs. During the parallelization process the removal of memory related dependences is usually performed by translating the original program into single assignment form. This total data expansion has a very high memory cost. We present a technique of partial data expansion which leaves untouched the performances of the paral...
متن کاملPolly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation
The polyhedral model for loop parallelization has proved to be an effective tool for advanced optimization and automatic parallelization of programs in higher-level languages. Yet, to integrate such optimizations seamlessly into production compilers, they must be performed on the compiler’s internal, low-level, intermediate representation (IR). With Polly, we present an infrastructure for polyh...
متن کاملAlphaZ and the Polyhedral Equational Model
With the emergence of multi-core processors, parallelism has gone main-stream. However, parallel programming is difficult for many reasons. Programmers now must think about which operations can legally be executed in parallel, when to insert synchronizations, and so on. In addition, parallelism and non-determinism nature of it makes debugging much harder. One approach to address this problem is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997